KAUFMANN, MATT: шукати на сайті Z-Library

Annals of Mathematical Logic

Журнал:

Рік:

1981

Мова:

english

Файл:

PDF, 2.94 MB

english, 1981

A correction to “stationary logic”

Jon Barwise, Matt Kaufmann, Michael Makkai

Журнал:

Annals of Mathematical Logic

Рік:

1981

Мова:

english

Файл:

PDF, 86 KB

english, 1981

Stationary logic

Jon Barwise, Matt Kaufmann, Michael Makkai

Журнал:

Annals of Mathematical Logic

Рік:

1978

Мова:

english

Файл:

PDF, 3.16 MB

english, 1978

Saturation and simple extensions of models of peano arithmetic

Matt Kaufmann, James H. Schmerl

Журнал:

Annals of Pure and Applied Logic

Рік:

1984

Мова:

english

Файл:

PDF, 2.04 MB

english, 1984

A nonconservativity result on global choice

Matt Kaufmann, Saharon Shelah

Журнал:

Annals of Pure and Applied Logic

Рік:

1984

Мова:

english

Файл:

PDF, 334 KB

english, 1984

Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem

Matt Kaufmann, Paolo Pecchiari

Журнал:

Рік:

1996

Мова:

english

Файл:

PDF, 1.90 MB

english, 1996

A New Omitting Types Theorem for L(Q)

Журнал:

Kaufmann, Matt, Schmerl, James H.

Рік:

1979

Мова:

english

Файл:

PDF, 367 KB

english, 1979

Remarks on weak notions of saturation in models of Peano arithmetic

Журнал:

Рік:

1987

Мова:

english

Файл:

PDF, 1.33 MB

english, 1987

Blunt and topless end extensions of models of set theory

Журнал:

Gordon, Michael J. C., Hunt, Warren A., Kaufmann, Matt, Reynolds, James

Рік:

1983

Мова:

english

Файл:

PDF, 1.48 MB

english, 1983

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - An embedding of the ACL2 logic in HOL

Рік:

2006

Мова:

english

Файл:

PDF, 256 KB

english, 2006

Industrial hardware and software verification with ACL2

Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna

Журнал:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Рік:

2017

Мова:

english

Файл:

PDF, 358 KB

english, 2017

Iterated ultrapowers for the masses

Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri

Журнал:

Archive for Mathematical Logic

Рік:

2017

Мова:

english

Файл:

PDF, 507 KB

english, 2017

DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS

Matt Kaufmann, Evangelos Kranakis

Журнал:

Mathematical Logic Quarterly

Рік:

1984

Мова:

english

Файл:

PDF, 1.29 MB

english, 1984

On random models of finite power and monadic logic

Matt Kaufmann, Saharon Shelah

Журнал:

Discrete Mathematics

Рік:

1985

Мова:

english

Файл:

PDF, 619 KB

english, 1985

Integrating external deduction tools with ACL2

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber

Журнал:

Journal of Applied Logic

Рік:

2009

Мова:

english

Файл:

PDF, 266 KB

english, 2009

An extension of the Boyer-Moore Theorem Prover to support first-order quantification

Журнал:

Рік:

1992

Мова:

english

Файл:

PDF, 868 KB

english, 1992

Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm

Журнал:

Рік:

1991

Мова:

english

Файл:

PDF, 2.25 MB

english, 1991

Verification of Year 2000 conversion rules using the ACL2 theorem prover

International Journal on Software Tools for Technology Transfer (STTT)

Журнал:

Рік:

2000

Мова:

english

Файл:

PDF, 146 KB

english, 2000

Rewriting with Equivalence Relations in ACL2

Bishop Brock, Matt Kaufmann, J Strother Moore

Журнал:

Michael J. C. Gordon, Matt Kaufmann, Sandip Ray

Рік:

2008

Мова:

english

Файл:

PDF, 290 KB

english, 2008

The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4

Журнал:

British Journal of Dermatology

Рік:

2011

Мова:

english

Файл:

PDF, 918 KB

english, 2011

Integrins of normal human epidermis: differential expression, synthesis and molecular structure

C.EBERHARD KLEIN, T. STEINMAYER, J.M. MATTES, R. KAUFMANN, L. WEBER

Журнал:

Рік:

1990

Мова:

english

Файл:

PDF, 2.28 MB

english, 1990

Nonstandard Analysis in ACL2

Ruben A. Gamboa, Matt Kaufmann

Журнал:

Dori B. Reissman, Thomas D. Matte, Karen L. Gurnitz, Rachel B. Kaufmann, Jessica Leighton

Рік:

2001

Мова:

english

Файл:

PDF, 168 KB

english, 2001

Is home renovation or repair a risk factor for exposure to lead among children residing in New York City?

Журнал:

Journal of Urban Health

Рік:

2002

Мова:

english

Файл:

PDF, 79 KB

english, 2002

Deaths related to lead poisoning in the United States, 1979–1998

Rachel B Kaufmann, Catherine J Staes, Thomas D Matte

Журнал:

Environmental Research

Рік:

2003

Мова:

english

Файл:

PDF, 164 KB

english, 2003

Dual-Source CT Coronary Angiography: Image Quality, Mean Heart Rate, and Heart Rate Variability

Matt, David, Scheffel, Hans, Leschka, Sebastian, Flohr, Thomas G., Marincek, Borut, Kaufmann, Philipp A., Alkadhi, Hatem

Журнал:

American Journal of Roentgenology

Рік:

2007

Мова:

english

Файл:

PDF, 303 KB

english, 2007

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - An Integration of HOL and ACL2

Gordon, Michael, Reynolds, James, Hunt, Warren, Kaufmann, Matt

Рік:

2006

Мова:

english

Файл:

PDF, 172 KB

english, 2006

[IEEE 2012 IEEE 62nd Electronic Components and Technology Conference (ECTC) - San Diego, CA, USA (2012.05.29-2012.06.1)] 2012 IEEE 62nd Electronic Components and Technology Conference - Mechanically compliant lead-free solder metallurgy: The key element in enabling extreme low-k large-die flip chip devices

Pang, Mengzhi, Kaufmann, Matt, Sze, Henry, Sharifi, Reza, Tan, Keith, Neo, Chong Wei, Ramakrishna, Ram, Karikalan, Sam, Khan, Reza

Рік:

2012

Мова:

english

Файл:

PDF, 1.24 MB

english, 2012

A New Method to Quantify Carbonate Rock Weathering

Dubois, Caroline, Deceuster, John, Kaufmann, Olivier, Rowberry, Matt D.

Журнал:

Mathematical Geosciences

Рік:

2015

Мова:

english

Файл:

PDF, 6.88 MB

english, 2015

Elevated Blood Lead Levels and Blood Lead Screening Among US Children Aged One to Five Years: 1988-1994

Kaufmann, R. B., Clouse, T. L., Olson, D. R., Matte, T. D.

Журнал:

PEDIATRICS

Рік:

2000

Мова:

english

Файл:

PDF, 338 KB

english, 2000

The strength of nonstandard methods in arithmetic

Henson, C. Ward, Kaufmann, Matt, Keisler, H. Jerome

Журнал:

Рік:

1984

Мова:

english

Файл:

PDF, 1.21 MB

english, 1984

Set theory with a filter quantifier

Журнал:

Рік:

1983

Мова:

english

Файл:

PDF, 1.35 MB

english, 1983

Filter Logics on ω

Журнал:

John, Baldwin, Kaufmann, Matt, Knight, Julia F.

Рік:

1984

Мова:

english

Файл:

PDF, 1.09 MB

english, 1984

Meeting of the Association for Symbolic Logic

Журнал:

Goel, Shilpi, Hunt, Warren A., Kaufmann, Matt, Ghosh, Soumava

Рік:

1985

Мова:

english

Файл:

PDF, 131 KB

english, 1985

Identifying Climatic Controls on Ring Width: The Timing of Correlations between Tree Rings and NDVI

Kaufmann, R. K., D’Arrigo, R. D., Paletta, L. F., Tian, H. Q., Jolly, W. Matt, Myneni, R. B.

Журнал:

Earth Interactions

Рік:

2008

Мова:

english

Файл:

PDF, 299 KB

english, 2008

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Simulation and formal verification of x86 machine-code programs that make system calls

Рік:

2014

Мова:

english

Файл:

PDF, 550 KB

english, 2014

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - Double rewriting for equivalential reasoning in ACL2

Kaufmann, Matt, Moore, J Strother

Рік:

2006

Мова:

english

Файл:

PDF, 208 KB

english, 2006

A prototype theorem-prover for a higher-order functional language

Boyer, Bob, Kaufmann, Matt

Журнал:

ACM SIGSOFT Software Engineering Notes

Рік:

1985

Файл:

PDF, 348 KB

1985

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Formal verification of FIRE

Jang, Jae-Young, Qadeer, Shaz, Kaufmann, Matt, Pixley, Carl

Рік:

1997

Мова:

english

Файл:

PDF, 91 KB

english, 1997

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Formal verification of LabVIEW programs using the ACL2 Theorem Prover

Kaufmann, Matt, Kornerup, Jacob, Reitblatt, Mark

Рік:

2009

Мова:

english

Файл:

PDF, 228 KB

english, 2009

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Abbreviated output for input in ACL2

Рік:

2009

Мова:

english

Файл:

PDF, 177 KB

english, 2009

A rather classless model

Proceedings of the American Mathematical Society

Журнал:

Рік:

1977

Мова:

english

Файл:

PDF, 359 KB

english, 1977

A Rather Classless Model

Proceedings of the American Mathematical Society

Журнал:

Рік:

1977

Мова:

english

Файл:

PDF, 158 KB

english, 1977

Efficient execution in an automated reasoning environment

GREVE, DAVID A., KAUFMANN, MATT, MANOLIOS, PANAGIOTIS, MOORE, J STROTHER, RAY, SANDIP, RUIZ-REINA, JOSÉ LUIS, SUMNERS, ROB, VROON, DARON, WILDING, MATTHEW

Журнал:

Journal of Functional Programming

Рік:

2008

Мова:

english

Файл:

PDF, 193 KB

english, 2008

SPIE Proceedings [SPIE 29th Annual Technical Symposium - San Diego (Tuesday 20 August 1985)] Airborne Reconnaissance IX - Photogrammetric Tools For Panoramic Sector Scan Imagery In The VIDARS Analysis Station

Leberl, Franz W., Kaufmann, Viktor, Gustafson, Glen C., Stevens, Matt, Kienegger, Erwin, Henkel, Paul A., LaGesse, Francis R.

Рік:

1985

Мова:

english

Файл:

PDF, 2.61 MB

english, 1985

Secreted Frizzled-related Protein 2 (sFRP2) Redirects Non-canonical Wnt Signaling from Fz7 to Ror2 during Vertebrate Gastrulation

Brinkmann, Eva-Maria, Mattes, Benjamin, Kumar, Rahul, Hagemann, Anja I. H., Gradl, Dietmar, Scholpp, Steffen, Steinbeisser, Herbert, Kaufmann, Lilian T., Özbek, Suat

Журнал:

Journal of Biological Chemistry

Рік:

2016

Мова:

english

Файл:

PDF, 6.56 MB

english, 2016

SPECTRAL AND IMAGING OBSERVATIONS OF A WHITE-LIGHT SOLAR FLARE IN THE MID-INFRARED

Penn, Matt, Krucker, Säm, Hudson, Hugh, Jhabvala, Murzy, Jennings, Don, Lunsford, Allen, Kaufmann, Pierre

Журнал:

The Astrophysical Journal

Рік:

2016

Мова:

english

Файл:

PDF, 814 KB

english, 2016

A note on the Hanf number of second-order logic.

Notre Dame Journal of Formal Logic

Журнал:

Рік:

1985

Мова:

english

Файл:

PDF, 385 KB

english, 1985

Some remarks on equivalence in infinitary and stationary logic.